An Integrated Development Environment for Pattern Matching Programming
Identifieur interne : 006814 ( Main/Exploration ); précédent : 006813; suivant : 006815An Integrated Development Environment for Pattern Matching Programming
Auteurs : Julien Guyon ; Pierre-Etienne Moreau ; Antoine ReillesSource :
English descriptors
- KwdEn :
Abstract
Tom and Apigen are two complementary tools which simplify the definition and the manipulation of abstract datatypes. Tom is an extension of Java which adds pattern matching facilities independently of the used data-structure. Apigen is a generator of abstract syntax tree implementations which interacts naturally with \tom. In this paper, we show how Eclipse can be extended to support the development of Tom programs. By integrating a Tom editor, an automatic build process, and an error management mechanism, we demonstrate the integration of an algebraic programming environment in Eclipse. Hence, our work contributes to the promotion of formal methods and Eclipse to the educational, algebraic, and industrial communities.
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 003F37
- to stream Crin, to step Curation: 003F37
- to stream Crin, to step Checkpoint: 000642
- to stream Main, to step Merge: 006B17
- to stream Main, to step Curation: 006814
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="623">An Integrated Development Environment for Pattern Matching Programming</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:guyon04a</idno>
<date when="2004" year="2004">2004</date>
<idno type="wicri:Area/Crin/Corpus">003F37</idno>
<idno type="wicri:Area/Crin/Curation">003F37</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003F37</idno>
<idno type="wicri:Area/Crin/Checkpoint">000642</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">000642</idno>
<idno type="wicri:Area/Main/Merge">006B17</idno>
<idno type="wicri:Area/Main/Curation">006814</idno>
<idno type="wicri:Area/Main/Exploration">006814</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">An Integrated Development Environment for Pattern Matching Programming</title>
<author><name sortKey="Guyon, Julien" sort="Guyon, Julien" uniqKey="Guyon J" first="Julien" last="Guyon">Julien Guyon</name>
</author>
<author><name sortKey="Moreau, Pierre Etienne" sort="Moreau, Pierre Etienne" uniqKey="Moreau P" first="Pierre-Etienne" last="Moreau">Pierre-Etienne Moreau</name>
</author>
<author><name sortKey="Reilles, Antoine" sort="Reilles, Antoine" uniqKey="Reilles A" first="Antoine" last="Reilles">Antoine Reilles</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>eclipse</term>
<term>java</term>
<term>pattern matching</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="3363">Tom and Apigen are two complementary tools which simplify the definition and the manipulation of abstract datatypes. Tom is an extension of Java which adds pattern matching facilities independently of the used data-structure. Apigen is a generator of abstract syntax tree implementations which interacts naturally with \tom. In this paper, we show how Eclipse can be extended to support the development of Tom programs. By integrating a Tom editor, an automatic build process, and an error management mechanism, we demonstrate the integration of an algebraic programming environment in Eclipse. Hence, our work contributes to the promotion of formal methods and Eclipse to the educational, algebraic, and industrial communities.</div>
</front>
</TEI>
<affiliations><list></list>
<tree><noCountry><name sortKey="Guyon, Julien" sort="Guyon, Julien" uniqKey="Guyon J" first="Julien" last="Guyon">Julien Guyon</name>
<name sortKey="Moreau, Pierre Etienne" sort="Moreau, Pierre Etienne" uniqKey="Moreau P" first="Pierre-Etienne" last="Moreau">Pierre-Etienne Moreau</name>
<name sortKey="Reilles, Antoine" sort="Reilles, Antoine" uniqKey="Reilles A" first="Antoine" last="Reilles">Antoine Reilles</name>
</noCountry>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 006814 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 006814 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= CRIN:guyon04a |texte= An Integrated Development Environment for Pattern Matching Programming }}
This area was generated with Dilib version V0.6.33. |